Types and Co-Types in Timor
نویسندگان
چکیده
A co-type is a type with instance methods and instance data which enhance the functionality of some other type (its "expanded" type). The instance methods of the co-type correspond approximately to constructors, class methods and binary methods of the expanded type in other class-based OO systems, and the instance data replaces class-based data. This unconventional approach was motivated by the need to reconcile OO concepts with the Timor aims of supporting both multiple implementations for a type and the use of qualifying types.
منابع مشابه
Covariantly Adjusting Co-Types in Timor
This paper extends the idea of co-types (described in a companion paper) to include the concept of adjustment hierarchies. An adjustment hierarchy provides a parallel hierarchy to a subtyping hierarchy of a type being expanded by the co-type. This has a number of advantages including the predefinition of co-types for subtypes of an expanded type, and allowing automatic covariant adjustment of p...
متن کاملSupport for Subtyping and Code Re-use in Timor
Unlike most object oriented programming languages Timor, which has been designed to support component development, replaces the class construct with separate constructs for defining types and their implementations (which are not types). It also distinguishes between behaviourally conforming subtyping and the inclusion of behaviourally deviant interfaces in the definition of derived types. The s...
متن کاملStatically Qualified Types in Timor
In earlier papers qualifying types were presented as a technique for dynamically qualifying objects in a general way. This paper considers how such types can be composed statically into the definitions of other types.
متن کاملDiamond Inheritance and Attribute Types in Timor
In Timor multiple inheritance of methods from a common abstract ancestor (e.g. Collection) and of separate "parts" (possibly repeatedly) from distinct supertypes (e.g. a Radio, a Cassette Player) are handled in different ways. The paper shows that neither technique is suitable for cases where a common concrete ancestor (e.g. Person) is specialised in different subtypes (e.g. as a Student, an Em...
متن کاملErgonomic risk factors and musculoskeletal symptoms in surgeons with three types of surgery: Open, laparoscopic, and microsurgery
Background: Musculoskeletal symptoms are the main cause of loss of working time, and increase in labor costs. Poor posture is the most important risk factor for work-related musculoskeletal symptoms. This study aimed at evaluating the role of ergonomic risk factors in different surgical (open surgery, laparoscopy, and microsurgery) in the frequency or resonance frequency of musculoskeletal symp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Journal of Object Technology
دوره 8 شماره
صفحات -
تاریخ انتشار 2009